minimization of dfa problem